A q-SERIES IDENTITY AND THE ARITHMETIC OF HURWITZ ZETA FUNCTIONS GWYNNETH H. COOGAN AND KEN ONO 1. Introduction and Statement of Results In a recent paper [?], D. Zagier used a q-series identity to prove that

Source URL: www.mathcs.emory.edu

Real Growth in Standard Parts of Analysis∗ Ulrich Kohlenbach Fachbereich Mathematik J.W. Goethe Universit¨at Robert-Mayer-StrFrankfurt am Main, Germany

Source URL: www.mathematik.tu-darmstadt.de

• Computability theory
• Functions and mappings
• Recursion
• Theory of computation
• Proof theory
• Primitive recursive function
• Continuous function
• Elementary function arithmetic
• Arithmetic function

The design of the Boost interval arithmetic library ? Herv´e Br¨onnimann a,1 Guillaume Melquiond b,2 Sylvain Pion c,3 a CIS, b Ecole ´

Source URL: www.lri.fr

• Mathematics
• Computer arithmetic
• Arithmetic
• Numerical analysis
• Functions and mappings
• Interval arithmetic
• Interval
• Rounding
• Integral
• GNU MPFR
• Mode
• Function

JAR manuscript No. (will be inserted by the editor) Proving Tight Bounds on Univariate Expressions with Elementary Functions in Coq Érik Martin-Dorel · Guillaume Melquiond

Source URL: www.lri.fr

• Computer algebra
• Computer arithmetic
• Algebra
• Numerical analysis
• Polynomials
• Interval arithmetic
• Automatic differentiation
• Floating point
• Polynomial
• Remainder
• Symbolic computation
• Interval

Improving interval enclosures Arnold Neumaier Fakult¨at f¨ ur Mathematik, Universit¨at Wien Nordbergstr. 15, A-1090 Wien, Austria email:

Source URL: www.mat.univie.ac.at

• Real analysis
• Order theory
• Numerical analysis
• Functions and mappings
• Functional analysis
• Monotonic function
• Interval arithmetic
• Limit of a function
• Convex function
• Interval
• Affine arithmetic
• Taylor series

IEEE Std P1788 IEEE Standard For Interval Arithmetic Draft 03.2 §4.8

Source URL: grouper.ieee.org

• Mathematics
• Mathematical analysis
• Functions and mappings
• Numerical analysis
• Topology
• Arithmetic
• Computer arithmetic
• Interval
• Function
• Limit of a function
• Bounded function

Continued fractions and number systems: applications to correctly-rounded implementations of elementary functions and modular arithmetic. Mourad Gouicem PEQUAN Team, LIP6/UPMC

Source URL: caramba.inria.fr

DIOPHANTINE APPROXIMATION WITH ARITHMETIC FUNCTIONS, II EMRE ALKAN, KEVIN FORD AND ALEXANDRU ZAHARESCU Abstract. We prove that real numbers can be well-approximated by the normalized Fourier coefficients of newforms. 1.

Source URL: www.math.uiuc.edu

[Page 1] On two conjectures of Sierpi´ nski concerning the arithmetic functions σ and φ

Source URL: www.math.uiuc.edu

DIOPHANTINE APPROXIMATION WITH ARITHMETIC FUNCTIONS, I EMRE ALKAN, KEVIN FORD AND ALEXANDRU ZAHARESCU Abstract. We prove a strong simultaneous Diophantine approximation theorem for values of additive and multiplicative f

Source URL: www.math.uiuc.edu